Skip to content

Backport fixes from opam-repo-ci.#107

Closed
tmcgilchrist wants to merge 1 commit intoocurrent:masterfrom
tmcgilchrist:opam_fixes
Closed

Backport fixes from opam-repo-ci.#107
tmcgilchrist wants to merge 1 commit intoocurrent:masterfrom
tmcgilchrist:opam_fixes

Conversation

@tmcgilchrist
Copy link
Copy Markdown
Member

@tmcgilchrist
Copy link
Copy Markdown
Member Author

#106

@tmcgilchrist tmcgilchrist deleted the opam_fixes branch June 21, 2022 02:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant